1. Automated deduction in geometry:
Author:
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Geometry - Data processing - Congresses,Automatic theorem proving - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
QA448
.
D38I577
1997
2. Automated deduction in geometry :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Geometry ; Data processing ; Congresses ; Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ; raisonnement g?om?trique ; g?om?trie algorithmique ; d?monstration th?or?me ; G?om?trie ; d?duction automatique ;
3. Automated deduction in geometry
Author: / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
1998
4. Automated deduction in geometry
Author: / Francisco Botana, Tomas Recio (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
2006
5. Automated deduction in geometry
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Geometry ; Data processing ; Congresses. ; Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
6. Automated deduction in geometry
Author: / Hoon Hong, Dongming Wang (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
448
,.
D38
,
I577
,
2004
7. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
Author: Dongming Wang )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1360
8. Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings
Author: Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1669
9. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3763
10. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author:
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2004
11. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
Author: Hoon Hong, Dongming Wang )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2004
12. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
Author: Franz Winkler )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2930
13. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers
Author: Franz Winkler )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Data processing - Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
I577
2002
14. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
448
.
D38
.
I577
2000
15. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
Author: Jurgen Richter-Gebert, Dongming Wang, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2061
